RewritingNotSafe.agda:2,1-28
Cannot set OPTIONS pragma --rewriting with safe flag.
